Free shipping on all orders! No minimum purchase required.
Theorem Proving in Higher Order Logics
by Klaus Schneider (Editor), Jens Brandt (Editor)
